DEF=test
TESTDIR=.
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module TEST
export KORE_EXEC_OPTS=--log-level error

include ../../../include/kframework/ktest.mak

CONSIDER_PROVER_ERRORS=2>&1
